Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
441	Linear Logic, Heap-shape Patterns and Imperative Programming Limin Jia David Walker Princeton University Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Model theory Predicate logic C programming language Struct Interpretation Pointer C++ classes ALGOL 68 Function Logic Mathematical logic Software engineering
442	Cryptography with Asynchronous Logic Automata Peter Schmidt-Nielsen, Kailiang Chen, Jonathan Bachrach, Scott Greenwald, Forrest Green, and Neil Gershenfeld MIT Center for Bits and Atoms, Cambridge, MA Add to Reading List Source URL: cba.mit.edu Language: English - Date: 2011-12-17 09:30:36 Binary arithmetic Linear feedback shift register A5/1 Cellular automaton Field-programmable gate array Digital electronics Block cipher XOR gate Cryptography Electronic engineering Stream ciphers
443	Chaos Theory: An introduction for TESOL practitioners Bob Hodge This is an electronic version of an article published as: Hodge, B. 2003, ‘Chaos Theory: An Introduction for TESOL Practitioners’, English Australia, 21 Add to Reading List Source URL: www.uws.edu.au Language: English - Date: 2012-06-06 21:50:55 Knowledge English-language education Artificial intelligence Logic in computer science English as a foreign or second language Chaos theory Linear Bob Hodge Fuzzy logic Science Systems scientists Academia
444	PDF Document Add to Reading List Source URL: www6.cityu.edu.hk Language: English - Date: 2010-01-11 05:45:43 Quantum mechanics Linear temporal logic Temporal logic
445	Corporate Headquarters [removed]Landing Parkway Fremont, CA[removed]tel[removed] fax[removed] www.sgi.com Add to Reading List Source URL: www.sgi.com Language: English - Date: 2011-03-29 18:04:27 Software Spectra Logic Linear Tape-Open Backup Tape drive Virtual tape library Tape library Linear Tape File System IBM System Storage Backup software Computing Computer hardware
446	¨ t Augsburg Universita KAB 0 H Add to Reading List Source URL: www.multimedia-computing.de Language: English - Date: 2011-06-17 18:05:57 Mathematical optimization Algorithm Mathematical logic Theoretical computer science Genetic algorithm Greedy algorithm Linear programming Virtual camera system Mathematics Operations research Applied mathematics
447	Dependable self-hosting distributed systems using constraints Qin Yin∗, Justin Cappos†, Andrew Baumann∗, Timothy Roscoe∗ ∗ Systems † Department Group, Department of Computer Science, ETH Zurich Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2014-09-30 10:30:54 Computer programming Operations research Programming paradigms Mathematical optimization Constraint logic programming Logic programming ECLiPSe Linear programming PlanetLab Constraint programming Software engineering Declarative programming
448	Concise Integer Linear Programming Formulations for Dependency Parsing ∗ Andr´e F. T. Martins∗† Noah A. Smith∗ Eric P. Xing∗ School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-05-19 09:57:02 Compiler construction Formal languages LL parser Dependency grammar Linear programming Parse tree Conditional random field Combinatory logic Directed graph Mathematics Graph theory Theoretical computer science
449	Towards Classifying Propositional Probabilistic Logics Glauber De Bona, Fabio Gagliardi Cozman and Marcelo Finger University of São Paulo, Brazil Probabilistic logics are commonly designed by adding probabilistic opera Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-05-07 12:35:05 Non-classical logic Philosophy of language Formal languages Probabilistic logic Interpretation Proposition Well-formed formula Logical connective Linear temporal logic Logic Mathematical logic Propositional calculus
450	Dr. Manuel Bodirsky Curriculum Vitae Born December 30, 1976, in Freiburg im Breisgau, Germany. German citizenship. Married with Michaela Metzger, three children: Lewin Bodirsky, born April 25, 2006. Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-02-07 06:50:56 Software engineering Constraint satisfaction Complexity of constraint satisfaction Local consistency Mathematical optimization Spatial–temporal reasoning Combinatorial optimization Linear programming Logic programming Constraint programming Theoretical computer science Applied mathematics

UPDATE